#include<stdio.h>
typedef unsigned char *byte_pointer;
void show_bytes(byte_pointer start,size_t len){
	size_t i;
	printf("学号20155222的笔记本电脑是");
	if(start[0]==0x12)
	printf("大");
	else if(start[0]==0x78)
	printf("小");
	printf("端");
}
void show_int(int x){
	show_bytes((byte_pointer)&x,sizeof(int));
}
int main()
{
	int i=0x12345678;
	show_int(i);
}
